DRAFT Technical Report

ISIS Technical Report Draft: Event-Triggered/Self-Triggered Real-Time Scheduling For Stabilization Of Passive/Dissipative Systems

ISIS Technical Report Draft: Robust Self-Triggered Real-Time Scheduling For Stabilization Of Passive/Dissipative Systems

Requiring Software Independence in VVSG 2007: STS Recommendations for the TGDC

This draft report was prepared by NIST staff at the request of the Technical Guidelines Development Committee (TGDC) to serve as a point of discussion at the Dec. 4-5 meeting of the TGDC. Prepared in conjunction with members of a TGDC subcommittee, the report is a discussion draft and does not represent a consensus view or recommendation from either NIST or the TGDC. It reflects the conclusions...

VVPR Issues and STS Recommendations for the TGDC

This draft report was prepared by NIST staff at the request of the Technical Guidelines Development Committee (TGDC) to serve as a point of discussion at the Dec. 4-5 meeting of the TGDC. Prepared in conjunction with members of a TGDC subcommittee, the report is a discussion draft and does not represent a consensus view or recommendation from either NIST or the TGDC. It reflects the conclusions...

Discussion Paper on Coding Conventions and Logic Verification 1 Introduction

This draft report was prepared by NIST staff at the request of the Technical Guidelines Development Committee (TGDC) to serve as a point of discussion at the Dec. 4-5 meeting of the TGDC. Prepared in conjunction with members of a TGDC subcommittee, the report is a discussion draft and does not represent a consensus view or recommendation from either NIST or the TGDC. It reflects the conclusions...